interface I {
  [public a]
}